Catalog of HyTime Architectural Forms and HyTime SGML Specification Version 2.0,
June 28, 1993
By Charles F. Goldfarb

This document contains an unofficial compilation of the formal SGML specifications from the HyTime Standard (ISO/IEC 10744:1992), cross-referenced to the text that describes them, and with known errors corrected. The current version expands on the original by including the formal specifications of useful element types, notations, and instances from Annex A. of the standard. The material in this document is excerpted from the pre-publication review edition of "The HyTime Handbook", which I hope will be available for limited distribution in the fall of 1993.

COPYRIGHT AND LICENSES

This document is distributed in both printed and machine-readable form. It contains formal SGML specifications derived from ISO/IEC 10744, and additional text and cross-references from The HyTime Handbook. The document as a whole is subject to the following copyright notice and license:

(C) Charles F. Goldfarb 1993.
Permission to copy in any form is granted for use with conforming 
HyTime systems and applications as defined in ISO/IEC 10744, provided 
that all copies are accurate and complete in every respect, including 
this notice.

The above license is intended to encourage the dissemination of the formal SGML specifications, while assuring that essential information about variations from the text of the standard (see below) is disseminated with them.

The formal SGML specifications are individually subject to the following copyright notice and license:

(C) International Organization for Standardization 1992.
Permission to copy in any form is granted for use with conforming 
HyTime systems and applications as defined in ISO/IEC 10744, provided 
this notice is included in all copies.

The above license is intended to facilitate the use of the formal SGML specifications as a base for developing HyTime applications (particularly when distributed in machine-readable form).

INTRODUCTION TO THE CATALOG

The formal SGML specifications that define the architectural forms appear in the same order as in ISO/IEC 10744. At the right margins of the headings that identify the forms are supplementary comments that identify the clause number and page number of ISO/IEC 10744 where the forms are defined. For example, the line:

Property Name - Clause: 6.7.2 - Page: 36

introduces the "property name" element type form, which is described in clause 6.7.2, which begins on page 36. Consult the standard for the notation and conventions used, which indicate the interrelationships of the forms and their mandatory or non-mandatory status.

An uppercase heading identifies the HyTime module in which the following architectural forms occur. For example, the forms of the measurement module are introduced by the heading:

MEASUREMENT MODULE - Section: 07 - Page: 38

The specifications from Annex A are presented similarly, except that the first-level headings are treated as the equivalent of module names.

CORRECTIONS IN THIS VERSION

Although International Standards are subjected to extensive review and proofreading, early users frequently discover errors. These are reported to the Project Editor for eventual consideration by the responsible standards committee, after which "corrigenda" may be published to correct the errors officially.

Several errors and ambiguities have already been reported; the proposed corrections and clarifications (hereinafter simply "corrections") for some of them are reflected in this document. While it must be stressed that the corrections are not official (and theoretically might never be), they are of such a nature that they are highly likely to be accepted. Corrections affecting only the text of the standard (that is, not the formal SGML specifications included in parts 4 and 5 of this document) are preceded with a currency sign ($).

Corrections added in this version of this Catalog are:

00.1

$In "Measurement module" list item: Change "finite coordinate space" to "scheduling".

06.3.1

$Last paragraph: change "HyTime" to 'the second "HyTime"'.

06.4

$After Note 79 add new para: An element of a type for which the "HyTime" attribute is not defined is a "non-HyTime element:"; it has no HyTime architectural form and therefore cannot affect conformance to the meta-DTD. Both HyTime and non-HyTime elements can occur in its content.

06.4

%resorce: delete from %HyBrid and add to HyDoc inclusions. (Note: inclusion group is now too large for reference concrete syntax, but DTDs can use other means to specify where resources occur.)

06.4.1

HyBrid: delete inclusion group.

06.4.2

nHyTime: change to "sHyTime" ("suppress HyTime element"); only attributes of nested sHyTime elements are processed.

06.4.2

$sHyTime: delete 2nd paragraph and Note 86.

06.5.2

$lexmodel: attribute should be "lexical model element type GIs (lextypgi).

06.5.2.1

$lexmodel: requires support of "lextype" option.

06.5.5.2

dvlist: change "attlist" to "attspecs".

06.6.2

$Second para: change "HyTime NAME nHyTime" to "HyTime architectural form (HyTime)"; move existing last sentence of 2nd para to become last sentence of 1st para; add new last sentence of 2nd para: The value of the "HyTime" attribute indicates whether the entity is to be treated as data or parsed as an SGML document, subdocument, or text entity.

06.6.2

"HyTime" attribute was omitted from formal SGML specification.

06.6.2

$altreps: need not use different data content notations.

06.6.2

insbento: offset changed to "origin 1" like (dimspec).

07.1.1

$Note 142: change "qcnt" to "quantum count".

07.4.1.2

elemref: add "calspec" to reftype group.

08.2.1

locsrc: default value changed to "#CURRENT".

08.3.2.2

nametype: default value changed to "entity".

08.3.2.2

obnames: default value changed to "nobnames".

08.4.1

$Add to 4th para: During concatenation, data content of elements that occur in element content is separated from the data content of siblings by a SPACE character.

08.4.1

catsrce and catres: add additional keywords (catsrcsp and catressp) to indicate when a SPACE character is inserted at each concatenation point.

08.4.2.2

$dataobj: in definition, change "an entity" to "a data entity".

08.4.2.7

$document position: There are two document position properties, for pathloc and treeloc. The marker list contains positive markers only.

08.5.2

notloc: in comment, change "address" to "HyTime address".

09.2.1

linkends: clarifies that one can be omitted, in which case the ilink is the first anchor (for clink compatibility).

09.2.1

ilink: Clarify reftype constraint comment.

09.2.2

clink: Clarify reftype constraint comment.

10.2

fcs: multiple FCS elements of same element type describe different spaces unless they have the same "fcsname" attribute (which requires the "splitfcs" option).

10.3

axisord: omitted axis name means all events occupy full dimension.

10.7

impfcs: type of imposed FCS; change "IDREF" to "NAME".

10.8.1

calspec: respecify content model to remove ambiguity.

A.1.3

arg: balance parentheses.

A.1.3

ATTORCON: balance parentheses.

A.1.3

qpn: balance parentheses.

A.2

HyPD qltnlmgi: "gil" changed to "GIL".

A.2.1.2.2

docpos: clarify as "pathloc document position" and add docpostl: treeloc document position

A.2.1.2.3

KEYWORD: psn=HTsem3; add definition.

A.2.1.2.3

tag: psn=HTsem3.

A.3.1

$HyQ: Add after 4th para: Query args, operands, and other nl nodes are evaluated as they are ordered (left to right), and before the query (or operator or other nl) is evaluated.

A.3.2

$HyQ: Formal definition should be in HyLex (contributions welcomed).

A.3.2

@lc: definition changed to "Value of attribute defined elsewhere"

A.3.2

Delete informal heading "-- HyQ --" and number others A.3.2.1-9.

A.3.2.1

dquery, iquery: allow qdomain without args.

A.3.2.1

qdomain: correct second comment.

A.3.2.1

args: should allow nl as well as nodes.

A.3.2.4

union: clarify description of result nl.

A.3.2.4

inter: clarify description of result nl.

A.3.2.4

diff: eliminate ambiguity between diff and symmetric diff.

A.3.2.6

hylex: balance single quotes.

A.3.2.7

Forall: clarify argument query applies to each nl node in order.

A.3.2.8

Compare: delete comma after "@quantum?".

A.3.2.8

ordered: clarify that overlap refers to position.

A.3.3

HyQ qltnlmgi: "gil" changed to "GIL".

A.5.2.5

Chain: change "feet" to "foot".

ARCHITECTURAL FORMS

• BASE MODULE - Section: 6
  • 6.4 - HyTime Document
    • 6.4.1 - HyTime/non-HyTime Bridge Element
    • 6.4.2 - Suppress HyTime Element
  • 6.5 - Common Attributes
    • 6.5.1 - Identification
    • 6.5.2 - Lexical Types
      • 6.5.2.1 - Lexical Model
      • 6.5.2.2 - Lexicographic Ordering Definition
    • 6.5.3 - ID Reference Resolution Control
    • 6.5.4 - Bit Combination Skip Count
    • 6.5.5 - Default Value List
      • 6.5.5.1 - Default Value List Attributes
      • 6.5.5.2 - Default Value List
    • 6.5.6 - Descriptive Text
      • 6.5.6.1 - Descriptive Text Attributes
      • 6.5.6.2 - Description Table
      • 6.5.6.3 - Descriptive Text
      • 6.5.6.4 - Descriptive Text Definition
    • 6.5.7 - Activity Tracking Policy
  • 6.6 - HyTime Data Attributes
    • 6.6.1 - Standard Bento Entity for Natural Transport of Objects
    • 6.6.2 - Common Data Attributes
  • 6.7 - Property Sets
    • 6.7.1 - Property Definition
    • 6.7.2 - Qualified Property Name
    • 6.7.2 - Property Name
    • 6.7.2 - Specifier for Property
    • 6.7.2 - Qualified Lexical Type Name
    • 6.7.2 - Property Value
    • 6.7.3 - Qualifying Name Attributes
• MEASUREMENT MODULE - Section: 7
  • 7.1 - Coordinate Addressing
    • 7.1.1 - Concepts and Definitions
    • 7.1.2 - Dimension Specification
      • 7.1.2.1 - Overrun Handling
      • 7.1.2.2 - Axis Marker List
      • 7.1.2.3 - Dimension Specification List
  • 7.2 - Scheduling and Extents
    • 7.2.1 - Concepts and Definitions
    • 7.2.2 - Extent Specification
    • 7.2.3 - Scheduled Extent
    • 7.2.4 - Scheduled Extent List
  • 7.3 - Measurement Units
    • 7.3.1 - Measurement Domain Definition
    • 7.3.2 - Useful Measurement Domains
    • 7.3.3 - Schedule Measurement
  • 7.4 - Dimension Referencing
    • 7.4.1 - Dimension Reference Facilities
      • 7.4.1.1 - Implicit Dimension Reference
      • 7.4.1.2 - Dimension Reference
    • 7.4.2 - Dimension Reference Constraints
      • 7.4.2.1 - Reasonable and Computable Rule
      • 7.4.2.2 - Same Domain/Common Granule Rule
      • 7.4.2.3 - Document MDU Attributes
• LOCATION ADDRESS MODULE - Section: 8
  • 8.1 - Concepts and Definitions
  • 8.2 - Attribute List Architectural Forms
    • 8.2.1 - Location Source
    • 8.2.2 - Multiple Location
    • 8.2.3 - Span Location
  • 8.3 - Name Space Locations
    • 8.3.1 - Identified Local Element
    • 8.3.2 - Named Object
      • 8.3.2.1 - Named Location Address
      • 8.3.2.2 - Name List Specification
  • 8.4 - Coordinate Locations
    • 8.4.1 - Data Location Address
    • 8.4.2 - Node Locations
      • 8.4.2.1 - Node Lists
      • 8.4.2.2 - SGML Node Types and Their Properties
      • 8.4.2.3 - Tree Combination Attributes
      • 8.4.2.4 - Tree Location Address
      • 8.4.2.5 - Path Location Address
      • 8.4.2.6 - List Location Address
      • 8.4.2.7 - Relative Location Address
  • 8.5 - Semantic Locations
    • 8.5.1 - Property Location Address
    • 8.5.2 - Notation-specific Location Address
    • 8.5.3 - Bibliographic Location Address
  • 8.6 - Location Ladders
  • 8.7 - Querying
    • 8.7.1 - Query Attributes
    • 8.7.2 - Name List Query
    • 8.7.3 - Axis Marker Query
• HYPERLINKS MODULE - Section: 9
  • 9.1 - Concepts and Definitions
  • 9.2 - Hyperlink Architectural Forms
    • 9.2.1 - Independent Link
    • 9.2.2 - Contextual Link
• SCHEDULING MODULE - Section: 10
  • 10.1 - Concepts and Definitions
  • 10.2 - Finite Coordinate Space
  • 10.2 - Axis Definition
  • 10.3 - Schedule
  • 10.4 - Event Schedule
    • 10.4.1 - Event Group
    • 10.4.2 - Event
    • 10.4.3 - Pulses
  • 10.5 - Objects
    • 10.5.1 - Object Types for Multimedia
    • 10.5.2 - Malleable Object
    • 10.5.3 - Accessed Anchor List
  • 10.6 - Extent Reconciliation Strategy
  • 10.7 - Finite Coordinate Space Location
  • 10.8 - Calendar
    • 10.8.1 - Calendar Specification
      • 10.8.1.1 - Date and Julian Date
      • 10.8.1.2 - Absolute Time
• RENDITION MODULE - Section: 11
  • 11.1 - Object Modification
    • 11.1.1 - Wand and Modifier Rules
    • 11.1.2 - Wand
    • 11.1.3 - Modifier Scope
    • 11.1.4 - Patches
  • 11.2 - Event Projection
    • 11.2.1 - Concepts and Definitions
    • 11.2.2 - Baton Rule
    • 11.2.3 - Baton
      • 11.2.3.1 - Projector Scope
      • 11.2.3.2 - Event Projector
      • 11.2.3.3 - Projection Function
      • 11.2.3.4 - Scaling Reference
  • 11.3 - Rendition Rule

USEFUL ELEMENT TYPES, NOTATIONS, AND INSTANCES

• A.1 - HyLex: HYTIME LEXICAL MODEL NOTATION
  • A.1.1 - HyLex Syntax and Semantics
    • A.1.1.1 - Formal Structure
    • A.1.1.2 - Delimiters
  • A.1.2 - HyLex Element Type
    • HyTime Lexical Model
  • A.1.3 - Useful HyLex Types
    • Useful Lexical Types
    • String Forms of Architectural Forms
• A.2 - HyTime PROPERTY DEFINITION
  • A.2.1 - Useful property sets
    • A.2.1.1 - SGML lexical properties
      • A.2.1.1.1 - HTlex1: SGML character classes
      • A.2.1.1.2 - HTlex2: SGML delimiter role names
    • A.2.1.2 - SGML and HyTime semantic properties
      • A.2.1.2.1 - HTsem1: SGML basic constructs
      • A.2.1.2.2 - HTsem2: HyTime constructs
      • A.2.1.2.3 - HTsem3: Unparsed SGML text
• A.3 - HyQ: HYTIME QUERY NOTATION
  • A.3.1 - HyQ Semantics
  • A.3.2 - HyQ formal definition
    • A.3.2.1 - Query
    • A.3.2.2 - Nodes
    • A.3.2.3 - Node List
    • A.3.2.4 - Node List Operations
    • A.3.2.5 - Node List Definitions
    • A.3.2.6 - Pattern Match
    • A.3.2.7 - Assertion
    • A.3.2.8 - Comparison
    • A.3.2.9 - Boolean Expressions
  • A.3.3 - HyQ element type
    • HyTime Query
  • A.3.4 - HyQ examples
• A.4 - MARKER FUNCTIONS
  • A.4.1 - HyOp: HyTime single operator marker function
  • A.4.2 - HyFunk: HyTime function notation
    • A.4.2.1 - HyFunk syntax and semantics
    • A.4.2.2 - HyFunk element type
    • A.4.2.3 - HyTime Measurement Unit ratio (HMUratio)
• A.5 - MEASUREMENT
  • A.5.1 - Useful Standard Measurement Units
    • Measurement Units
  • A.5.2 - Useful measurement domain definitions
    • A.5.2.1 - Generic quantum
    • A.5.2.2 - Virtual time
    • A.5.2.3 - Virtual space
    • A.5.2.4 - Systeme International second
    • A.5.2.5 - Systeme International meter
  • A.5.3 - Other standard measurement units

HTML markup by Eric Freese - January, 1995
Last update: August 22, 1995